"undeclared identifier" on attributes with variable args

The attached (copied below for quick reference) still fails with "undeclared identifier: $M0" (in changeset c01a37a794779043373d42af05f8acad47a08d3a). var $M0: int; procedure {:entrypoint} $initia...

Id #2 | Release: None | Updated: Sep 30, 2015 at 3:57 PM by fdupress | Created: Sep 30, 2015 at 3:57 PM by fdupress

[Duality] ``Prover error: unknown predicate from prover: q@fp``

When trying to use duality on the following program https://github.com/smackers/sbb/blob/master/sv-comp/floats-cdfpl/newton_1_1_true-unreach-call.i_.bpl like so... corral.exe sv-comp/floats-cdfpl/...

Id #1 | Release: None | Updated: Mar 4, 2015 at 3:36 PM by danliew | Created: Mar 4, 2015 at 3:36 PM by danliew

  • 1-2 of 2 Work Items
    • Previous
    • 1
    • Next
    • Showing
    • All
    • Work Items