Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
OpenGEODE
Commits
1d21c272
Commit
1d21c272
authored
Jul 31, 2014
by
Maxime Perrotin
Browse files
Fixed test9
parent
9e5fc408
Changes
2
Hide whitespace changes
Inline
Side-by-side
tests/regression/test9/Makefile
View file @
1d21c272
all
:
test-ada
all
:
test-ada
edit
:
../../../opengeode.py challenge.pr system_structure.pr
test-parse
:
test-parse
:
../../../opengeode.py challenge.pr system_structure.pr
--check
../../../opengeode.py challenge.pr system_structure.pr
--check
...
...
tests/regression/test9/challenge.pr
View file @
1d21c272
/* CIF PROCESS (150, 150), (150, 75) */
/* CIF PROCESS (150, 150), (150, 75) */
PROCESS challenge;
PROCESS challenge;
/* CIF TEXT (922, 91), (298, 120) */
dcl count, actual_count CountTab;
dcl pow_value T_UInt32 := 0;
dcl check T_UInt8;
dcl bitwise SeqBit;
dcl bitwise2 SeqBit2;
dcl boolwise t_Boolean;
/* CIF ENDTEXT */
/* CIF TEXT (0, 26), (502, 179) */
/* CIF TEXT (0, 26), (502, 179) */
procedure test;
procedure test;
fpar in first t_UInt8,
fpar in first t_UInt8,
...
@@ -10,19 +19,10 @@ dcl testvalue t_boolean := true;
...
@@ -10,19 +19,10 @@ dcl testvalue t_boolean := true;
dcl nested Nested := {a {b {c {p {x 1, y 2}, l {3, 4}}}}};
dcl nested Nested := {a {b {c {p {x 1, y 2}, l {3, 4}}}}};
/* CIF ENDTEXT */
/* CIF TEXT (922, 91), (298, 120) */
dcl count, actual_count CountTab;
dcl pow_value T_UInt32 := 0;
dcl check T_UInt8;
dcl bitwise SeqBit;
dcl bitwise2 SeqBit2;
dcl boolwise t_Boolean;
/* CIF ENDTEXT */
/* CIF ENDTEXT */
/* CIF START (672, 14), (68, 37) */
/* CIF START (672, 14), (68, 37) */
START;
START;
/* CIF TASK (61
4
, 66), (184, 72) */
/* CIF TASK (61
3
, 66), (184, 72) */
TASK for x in count:
TASK for x in count:
count(x) := count_max
count(x) := count_max
actual_count(x) := 0
actual_count(x) := 0
...
@@ -31,23 +31,23 @@ endfor;
...
@@ -31,23 +31,23 @@ endfor;
TASK nested := {a {b {c {p {x 1, y 2}, l {3, 4}}}}};
TASK nested := {a {b {c {p {x 1, y 2}, l {3, 4}}}}};
/* CIF NEXTSTATE (671, 203), (70, 35) */
/* CIF NEXTSTATE (671, 203), (70, 35) */
NEXTSTATE Wait;
NEXTSTATE Wait;
/* CIF STATE (7
60
, 11), (68, 35) */
/* CIF STATE (7
59
, 11), (68, 35) */
STATE Wait;
STATE Wait;
ENDSTATE;
ENDSTATE;
/* CIF STATE (671, 203), (70, 35) */
/* CIF STATE (671, 203), (70, 35) */
STATE Wait;
STATE Wait;
/* CIF INPUT (671, 258), (70, 35) */
/* CIF INPUT (671, 258), (70, 35) */
INPUT run;
INPUT run;
/* CIF PROCEDURECALL (62
3
, 308), (166, 35) */
/* CIF PROCEDURECALL (62
2
, 308), (166, 35) */
CALL writeln('Computing');
CALL writeln('Computing');
/* CIF TASK (
500
, 358), (412, 216) */
/* CIF TASK (
499
, 358), (412, 216) */
TASK for x in range(exceed_nb):
TASK for x in range(exceed_nb):
for n in range(nb_bit):
for n in range(nb_bit):
call pow(2, n, pow_value);
call pow(2, n, pow_value);
check := if val_max - x>0 and pow_value>0 then 1 else 0 fi
check := if val_max - x>0 and pow_value>0 then 1 else 0 fi
bitwise := bitwise and bitwise
bitwise := bitwise and bitwise
bitwise2 := bitwise2 xor {true, false}
--
bitwise2 := bitwise2 xor {true, false}
bitwise2 := bitwise2 and bitwise2
--
bitwise2 := bitwise2 and bitwise2
boolwise := boolwise and boolwise
boolwise := boolwise and boolwise
check := if (check=0) and pow_value>1 then 1 else 0 fi
check := if (check=0) and pow_value>1 then 1 else 0 fi
count(n) := count(n) - check
count(n) := count(n) - check
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment