Skip to content

Commit

Permalink
[Benchmarks] change expected status
Browse files Browse the repository at this point in the history
  • Loading branch information
TDacik committed Oct 25, 2024
1 parent 7d8650d commit 5a810a2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion benchmarks/97-slplugin/01.smt2
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
(set-logic QF_ALL)
(set-option :status unknown)
(set-option :status sat)

(declare-sort LS_t 0)
(declare-heap (LS_t LS_t))
Expand Down

0 comments on commit 5a810a2

Please sign in to comment.