kc3-lang/kc3/test/ic3

Branch : - branch - marshall master pdf v0.1 - tag - HTTPd-v0.1.0 HTTPd-v0.1.1 HTTPd-v0.2.0 v0 v0.1.0 v0.1.1 v0.1.10 v0.1.11 v0.1.12 v0.1.13 v0.1.14 v0.1.15 v0.1.16 v0.1.2 v0.1.3 v0.1.4 v0.1.5 v0.1.6 v0.1.7 v0.1.8 v0.1.9

• Show log

  Commit

• Author : Baptiste
  Date : 2024-03-07 13:38:49
  Hash : 5d266f52
  Message : ways to test the ratios with and without ic3

• Files
• array.err.expected
• array.in
• array.out.expected
• array.ret.expected
• block.in
• block.out.expected
• block.ret.expected
• bool.err.expected
• bool.in
• bool.out.expected
• bool.ret.expected
• call.err.expected
• call.in
• call.out.expected
• call.ret.expected
• cast.in
• cast.out.expected
• cast.ret.expected
• character.err.expected
• character.in
• character.out.expected
• character.ret.expected
• comment.err.expected
• comment.in
• comment.out.expected
• comment.ret.expected
• complex.in
• complex.out.expected
• complex.ret.expected
• equal.err.expected
• equal.in
• equal.out.expected
• equal.ret.expected
• fn.err.expected
• fn.in
• fn.out.expected
• fn.ret.expected
• function_call.err.expected
• function_call.out.expected
• function_call.ret.expected
• hello.err.expected
• hello.in
• hello.out.expected
• hello.ret.expected
• ident.err.expected
• ident.in
• ident.out.expected
• ident.ret.expected
• if.in
• if.out.expected
• if.ret.expected
• integer.in
• integer.lisp
• integer.out.expected
• integer.ret.expected
• integer_add.in
• integer_add.out.expected
• integer_add.ret.expected
• integer_band.in
• integer_band.out.expected
• integer_band.ret.expected
• integer_bnot.in
• integer_bnot.out.expected
• integer_bnot.ret.expected
• integer_bor-2.in
• integer_bor-2.out.expected
• integer_bor-2.ret.expected
• integer_bxor.in
• integer_bxor.out.expected
• integer_bxor.ret.expected
• integer_div.in
• integer_div.out.expected
• integer_div.ret.expected
• integer_eq.in
• integer_eq.out.expected
• integer_eq.ret.expected
• integer_gt.in
• integer_gt.out.expected
• integer_gt.ret.expected
• integer_lt.in
• integer_lt.out.expected
• integer_lt.ret.expected
• integer_mod-2.in
• integer_mod-2.out.expected
• integer_mod-2.ret.expected
• integer_mul.in
• integer_mul.out.expected
• integer_mul.ret.expected
• integer_neg.in
• integer_neg.out.expected
• integer_neg.ret.expected
• integer_sub.in
• integer_sub.out.expected
• integer_sub.ret.expected
• list.err.expected
• list.in
• list.out.expected
• list.ret.expected
• macro.in
• macro.out.expected
• macro.ret.expected
• map.in
• map.out.expected
• map.ret.expected
• op.err.expected
• op.in
• op.out.expected
• op.ret.expected
• plist.err.expected
• plist.in
• plist.out.expected
• plist.ret.expected
• quote.in
• quote.out.expected
• quote.ret.expected
• ratio.in
• ratio.out.expected
• ratio.ret.expected
• str.err.expected
• str.in
• str.out.expected
• str.ret.expected
• struct.in
• struct.out.expected
• struct.ret.expected
• sym.err.expected
• sym.in
• sym.out.expected
• sym.ret.expected
• tuple.err.expected
• tuple.in
• tuple.out.expected
• tuple.ret.expected
• void.in
• void.out.expected
• void.ret.expected