Package stp.examples

Source Code of stp.examples.print

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
package stp.examples;

import junit.framework.TestCase;
import stp.Expr;
import stp.VC;

public class print extends TestCase{
    public void test(){
        VC vc = new VC();

        VC.setFlags('n');
        VC.setFlags('d');
        VC.setFlags('p');

        Expr ct_3 = vc.bvConstExprFromStr("00000000000000000000000000000011");

        vc.printExpr(ct_3); System.out.printf("\n");

        ct_3 = vc.bvConstExprFromInt(32, 5);

        vc.printExpr(ct_3);   System.out.printf("\n");
    }

}
TOP

Related Classes of stp.examples.print

  • stp.Expr
  • stp.VC
    • TOP
    Copyright © 2018 www.massapi.com. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.