* Makefile.in, configure.in, configure,
[fw/sdcc] / src / regression / switch1.c
index 0d966dfa112bbf30a86b791b6f308beb140a7ca0..71730ea4391c656dbd1f5f3ae4cbbab0ea310200 100644 (file)
@@ -1,19 +1,17 @@
-unsigned char success=0;
+#include "gpsim_assert.h"
 unsigned char failures=0;
-unsigned char dummy=0;
 
-bit bit0 = 0;
 unsigned int aint0 = 0;
 unsigned int aint1 = 0;
 unsigned char achar0 = 0;
 unsigned char achar1 = 0;
 
 
-void done()
+void
+done()
 {
-
-  dummy++;
-
+  ASSERT(MANGLE(failures) == 0);
+  PASSED();
 }
 
 void switch1(void)
@@ -57,7 +55,7 @@ void switch2(void)
 
 }
 
-main(void)
+void main(void)
 {
 
   achar0 = 0;
@@ -82,6 +80,5 @@ main(void)
 
   }
 
-  success=failures;
   done();
 }