SRI-CSL / sally

A model checker for infinite-state systems.
http://sri-csl.github.io/sally/
GNU General Public License v2.0
69 stars 12 forks source link

typecheck error in a file with multiple queries #32

Closed xapantu closed 8 years ago

xapantu commented 8 years ago

Fails with:

lucas@lucas-arch ~/s/build> src/sally out_relays.mcmt --engine ic3 
invalid
invalid
Can't typecheck (let ((l0 (not |s2.cx!2!1|))) l0).

out_relays.mcmt.txt

dddejan commented 8 years ago

This seems to have been fixed some time ago, but is not yet committed to master. Most recent branch to work with is aiger. It's not yet merged since it doesn't yet support trace generation in ic3.