swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Raw File
Tip revision: cda4560576f3b975008fe892fe4fcaaaa71019fe authored by Anish Tondwalkar on 16 March 2020, 20:43:43 UTC
fix tests
Tip revision: cda4560
d2.smt2
(set-logic HORN)
(set-info :source |
  Benchmark: /home/atondwal/src/mist/mochi-tests/d2.ml
  Generated by MoCHi
|)
(set-info :status unknown)
(declare-fun |fail_15[0:0]| ( Int) Bool)
(declare-fun |app[0:0][0:0]| ( Int) Bool)
(declare-fun |app[0:1]| ( Int) Bool)
(assert (not (exists ((x0 Int)) (|fail_15[0:0]| x0))))
(assert (forall ((x0 Int)(x2 Int)) (=> (|app[0:0][0:0]| x2) (|fail_15[0:0]| x0))))
(assert (forall ((x1 Int)) (=> (|app[0:1]| x1) (|app[0:0][0:0]| x1))))
(assert (forall ((x0 Int)) (|app[0:1]| x0)))
(check-sat)
(get-model)
(exit)
back to top