Commit | Line | Data |
---|---|---|
a87752f3 | 1 | puts "===========" |
2 | puts "OCC387" | |
3 | puts "SAM1452" | |
4 | puts "===========" | |
5 | ||
e837410d | 6 | NewDocument D BinOcaf |
a87752f3 | 7 | UndoLimit D 10 |
8 | NewCommand D | |
9 | SetVariable D 0:1 0 a | |
10 | SetRelation D 0:1 a=10 0:1 | |
11 | SetReal D 0:1 10 | |
12 | ||
13 | NewCommand D | |
14 | SetRelation D 0:1 a=20 0:1 | |
15 | SetReal D 0:1 20 | |
16 | NewCommand D | |
17 | Undo D | |
18 | set Res [DumpRelation D 0:1] | |
19 | ||
20 | if { [regexp "a=20" $Res] == 1 } { | |
21 | puts "OCC387: Error " | |
22 | } | |
23 |