mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-18 11:31:35 +03:00
fcb694ccb9
It doesn't pass yet. It is hung up on an unsupported register type (Crrc, used in a compare).
12 lines
95 B
C
12 lines
95 B
C
#include "util.h"
|
|
|
|
int g = -11;
|
|
|
|
void _start() {
|
|
if(g > 0) {
|
|
g = g + 1;
|
|
}
|
|
|
|
EXIT();
|
|
}
|