script.kps 444 Bytes
Newer Older
1 2
// Please select one of the following scripts.
//
Sarah Grebing's avatar
Sarah Grebing committed
3 4 5
script testSMT(){
    smt solver='Z3';
}
Sarah Grebing's avatar
Sarah Grebing committed
6 7 8 9 10 11
script toRemove(){
  impRight;
  useContract type='dependency' on=`p`;

}

Sarah Grebing's avatar
Sarah Grebing committed
12
script autoScript(){
13 14
    __STRICT_MODE := true;
    auto;
Sarah Grebing's avatar
Sarah Grebing committed
15 16
}

17
script interactive(){
18
  impRight;
Sarah Grebing's avatar
Sarah Grebing committed
19
  impRight;
20
  impLeft;
21

22
}
Sarah Grebing's avatar
Sarah Grebing committed
23

24
script interactive_with_match(){
25
impRight;
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
26
impRight;
27 28
impLeft;
cases{
29
    case match `==> !(?Z), ?Z`:
30
      notRight;
LULUDBR\Lulu's avatar
LULUDBR\Lulu committed
31 32 33 34

    default:
      notLeft;

35
    }
36 37

}