Remove rand definition and preAnalyzeCommand from adb examples

goblint · Jul 15, 2023 · 35c31b0 · 35c31b0
1 parent 1f208c9
commit 35c31b0
Show file tree

Hide file tree

Showing 4 changed files with 2 additions and 10 deletions.
diff --git a/adb_examples/gobpie.json b/adb_examples/gobpie.json
@@ -1,6 +1,5 @@
 {
     "goblintConf" : "goblint.json",
-    "preAnalyzeCommand" : ["cmake", "-DCMAKE_EXPORT_COMPILE_COMMANDS=ON", "-B", "build"],
     "abstractDebugging": true,
     "showCfg": true,
     "incrementalAnalysis": false

diff --git a/adb_examples/precise_stdlib.h b/adb_examples/precise_stdlib.h
diff --git a/adb_examples/thesis_example.c b/adb_examples/thesis_example.c
@@ -1,4 +1,4 @@
-#include "precise_stdlib.h"
+#include <stdlib.h>
 #include <stdio.h>
 #include <pthread.h>
 

diff --git a/adb_examples/variables_example.c b/adb_examples/variables_example.c
@@ -1,4 +1,4 @@
-#include "precise_stdlib.h"
+#include <stdlib.h>
 
 struct s {
     int n;