diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-02-16 10:05:16 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-02-16 10:10:34 +0100 |
| commit | 2a88c0cc5707eb0761d87cfd2ca171ce687258fc (patch) | |
| tree | d0fe39e73cb2eda12b8355f7cbc5854e9f5be83d /testsuite.py | |
| parent | 30ff778e52d2cd74ce624348c44651982282f07d (diff) | |
Include direct deps. in Symbol/Choice.__str__()
Direct dependencies are significant for 'imply' even if the symbol has
no properties, so they need to be included to get semantically
equivalent output.
Making the direct dependencies clear is helpful in general too, even if
you can usually infer them from the properties they get propagated to.
Diffstat (limited to 'testsuite.py')
| -rw-r--r-- | testsuite.py | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite.py b/testsuite.py index ad32070..fba897a 100644 --- a/testsuite.py +++ b/testsuite.py @@ -524,12 +524,20 @@ config ADVANCED menuconfig ADVANCED prompt "prompt 3" if DEP2 + depends on DEP2 config ADVANCED + depends on DEP4 && DEP3 help second help text """) + verify_str(c.syms["ONLY_DIRECT_DEPS"], """ +config ONLY_DIRECT_DEPS + int + depends on DEP1 && DEP2 +""") + verify_str(c.syms["STRING"], """ config STRING string |