Skip to content
Snippets Groups Projects
Commit ed8eb887 authored by Roberto Hexsel's avatar Roberto Hexsel
Browse files

fix to count.expected

parent b3ac909c
No related branches found
No related tags found
No related merge requests found
//------------------------------------------------------------------------- //-------------------------------------------------------------------------
// test if COUNT register counts up monotonically as it should // test if COUNT register counts up monotonically
// returns error if the time to compute every 11th element of the Fibonacci // returns error if the time to compute every 11th element of the Fibonacci
// sequence, as measured by COUNT is not monotonically increasing // sequence, as measured by COUNT is not monotonically increasing
//------------------------------------------------------------------------- //-------------------------------------------------------------------------
...@@ -51,17 +51,17 @@ int main() { ...@@ -51,17 +51,17 @@ int main() {
// print(new); // print(new);
to_stdout('o'); to_stdout('k'); to_stdout('\n'); to_stdout('o'); to_stdout('k'); to_stdout('\n');
to_stdout('\n'); // separate tests
// now disable COUNT and make sure that it has stopped // now disable COUNT and make sure that it has stopped
print( stopCount() ); // stop COUNT print( stopCount() ); // stop COUNT
old = readCount(); // COUNT before computing fib(i) old = readCount(); // COUNT before computing fib(i)
print( fibonacci(5) ); print( fibonacci(5) );
new = readCount(); // COUNT after computing fib(i) new = readCount(); // COUNT after computing fib(i)
monotonic = monotonic && ( (new - old) > 0 ); monotonic = monotonic && ( (new - old) > 0 );
if ( monotonic == TRUE ) { if ( monotonic == TRUE ) {
to_stdout('e'); to_stdout('r'); to_stdout('r'); to_stdout('\n'); to_stdout('e'); to_stdout('r'); to_stdout('r'); to_stdout('\n');
print(new); print(new);
exit(new);
} else { } else {
// print(new); // print(new);
to_stdout('o'); to_stdout('k'); to_stdout('\n'); to_stdout('o'); to_stdout('k'); to_stdout('\n');
......
...@@ -4,6 +4,7 @@ ...@@ -4,6 +4,7 @@
0000452f 0000452f
0035c7e2 0035c7e2
ok ok
0880007c 0880007c
00000005 00000005
ok ok
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment