rvcas 8d59ba1c77 chore: update the conformance tests

2024-02-20 13:05:28 -05:00

..

app

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

argExpected

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

case

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

closure

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

constr

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

delay

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

force

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

lam

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

nonFunctionalApplication

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

unlifting-sat

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

unlifting-unsat

chore: update the conformance tests

2024-02-20 13:05:28 -05:00

var

chore: update the conformance tests

2024-02-20 13:05:28 -05:00