diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-13 14:00:35 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-13 14:00:35 +0000 |
| commit | be5c0f29e6be61edf6a197bd8e96cdeffaaffbc4 (patch) | |
| tree | 5a53b4dab644ae284b1eccc6440606973463c400 /test/regress/regress0/decision/just_sat.expect | |
| parent | c6aecebe573aeed87ef0661b38af7c3cbc7d641f (diff) | |
decision regressions, all but one fail
Diffstat (limited to 'test/regress/regress0/decision/just_sat.expect')
| -rw-r--r-- | test/regress/regress0/decision/just_sat.expect | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/test/regress/regress0/decision/just_sat.expect b/test/regress/regress0/decision/just_sat.expect new file mode 100644 index 000000000..38a730c57 --- /dev/null +++ b/test/regress/regress0/decision/just_sat.expect @@ -0,0 +1,3 @@ +% COMMAND-LINE: --decision=justification +% EXPECT: sat +% EXIT: 10 |