Commit 32021d1f2120471452c30ddf7f25a87290bd3f7e

Thomas de Grivel 2023-09-07T11:27:48

wip ic3

diff --git a/ic3/ic3.c b/ic3/ic3.c
index 54abfce..6530851 100644
--- a/ic3/ic3.c
+++ b/ic3/ic3.c
@@ -101,6 +101,11 @@ int main (int argc, char **argv)
   buf_file_open_w(&out, stdout);
   while ((r = ic3_buf_ignore_spaces(&out, &in)) >= 0) {
     if ((r = buf_parse_tag(&in, &input)) > 0) {
+      if (buf_inspect_tag(&out, &input) < 0)
+        break;
+      buf_write_u8(&out, '\n');
+      if ((r = buf_flush(&out)) < 0)
+        break;
       if (! eval_tag(&input, &result)) {
         tag_clean(&input);
         continue;
diff --git a/libc3/env.c b/libc3/env.c
index ae70669..a1effc4 100644
--- a/libc3/env.c
+++ b/libc3/env.c
@@ -110,6 +110,7 @@ bool env_eval_call (s_env *env, const s_call *call, s_tag *dest)
   assert(env);
   assert(call);
   assert(dest);
+  assert(NULL);
   call_copy(call, &c);
   env_eval_call_resolve(env, &c);
   if (c.cfn)