CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Fix definition and usage of the C backend test

Browse Source 
(including fix of Clerk about "legacy tests")
This commit is contained in:
Louis Gesbert 2024-02-01 10:32:54 +01:00
parent f90de90299
commit 54ca62a78e
7 changed files with 475 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

45
build_system/clerk_driver.ml
View File

@ -736,32 +736,35 @@ let gen_build_statements
~outputs:[srcv ^ "@test"]
~inputs:[inc (srcv ^ "@test")]
in
if item.has_inline_tests then
let inline_test label =
Nj.build "post-test"
~outputs:[inc (srcv ^ label)]
~inputs:[srcv; inc (srcv ^ "@out")]
~implicit_in:["always"];
in
match item.legacy_tests with
| [] ->
if item.has_inline_tests then [ inline_test "@test"; results ]
else []
| legacy ->
let inline =
if item.has_inline_tests then [ inline_test "@inline" ]
else []
in
inline @
[
Nj.build "post-test"
Nj.build "dir-tests"
~outputs:[inc (srcv ^ "@test")]
~inputs:[srcv; inc (srcv ^ "@out")]
~implicit_in:
("always"
:: List.map
(fun test ->
(!Var.builddir / legacy_test_reference test) ^ "@post")
item.legacy_tests);
results;
]
else if item.legacy_tests <> [] then
[
Nj.build "phony"
~outputs:[inc (srcv ^ "@test")]
~implicit_out:[srcv ^ "@test"]
~inputs:
(List.map
(fun test ->
(!Var.builddir / legacy_test_reference test) ^ "@post")
item.legacy_tests);
(
(if item.has_inline_tests then [ inc (srcv ^ "@inline") ] else []) @
List.map
(fun test ->
(!Var.builddir / legacy_test_reference test) ^ "@post")
legacy
);
results;
]
else []
in
legacy_tests @ inline_tests @ tests
in

2
tests/test_backends/.gitignore vendored
View File

@ -1,2 +0,0 @@
main.out
*.c

2
tests/test_backends/main.c → tests/test_backends/output/main.c
View File

@ -1,3 +1,5 @@
// This file has been written manually and is here to help test the generated `simple.c`
#include "simple.c"
typedef struct raw_input

442
tests/test_backends/output/simple.c Normal file
View File

@ -0,0 +1,442 @@
/* This file has been generated by the Catala compiler, do not edit! */
#include <stdio.h>
#include <stdlib.h>
#include <runtime.c>
enum option_2_enum_code {
option_2_enum_none_2_cons,
option_2_enum_some_2_cons
} option_2_enum_code;
typedef struct option_2_enum {
enum option_2_enum_code code;
union {
void* /* unit */ none_2_cons;
double some_2_cons;
} payload;
} option_2_enum;
typedef struct foo_struct {
char /* bool */ x_field;
double y_field;
} foo_struct;
typedef struct array_3_struct {
double * content_field;
int length_field;
} array_3_struct;
typedef struct array_2_struct {
option_2_enum * content_field;
int length_field;
} array_2_struct;
enum bar_enum_code {
bar_enum_no_cons,
bar_enum_yes_cons
} bar_enum_code;
typedef struct bar_enum {
enum bar_enum_code code;
union {
void* /* unit */ no_cons;
foo_struct yes_cons;
} payload;
} bar_enum;
typedef struct baz_struct {
double b_field;
array_3_struct c_field;
} baz_struct;
enum option_3_enum_code {
option_3_enum_none_3_cons,
option_3_enum_some_3_cons
} option_3_enum_code;
typedef struct option_3_enum {
enum option_3_enum_code code;
union {
void* /* unit */ none_3_cons;
array_3_struct some_3_cons;
} payload;
} option_3_enum;
enum option_1_enum_code {
option_1_enum_none_1_cons,
option_1_enum_some_1_cons
} option_1_enum_code;
typedef struct option_1_enum {
enum option_1_enum_code code;
union {
void* /* unit */ none_1_cons;
bar_enum some_1_cons;
} payload;
} option_1_enum;
typedef struct array_4_struct {
option_3_enum * content_field;
int length_field;
} array_4_struct;
typedef struct array_1_struct {
option_1_enum * content_field;
int length_field;
} array_1_struct;
typedef struct tuple_0_struct {
option_1_enum (*elt_0_field)(void * /* closure_env */ arg_0_typ, void* /* unit */ arg_1_typ);
void * /* closure_env */ elt_1_field;
} tuple_0_struct;
typedef struct baz_in_struct {
tuple_0_struct a_in_field;
} baz_in_struct;
baz_struct baz_func(baz_in_struct baz_in) {
tuple_0_struct a;
a = baz_in.a_in_field;
bar_enum temp_a;
option_1_enum temp_a_1;
tuple_0_struct code_and_env;
code_and_env = a;
option_1_enum (*code)(void * /* closure_env */ arg_0_typ, void* /* unit */ arg_1_typ);
void * /* closure_env */ env;
code = code_and_env.elt_0_field;
env = code_and_env.elt_1_field;
option_1_enum exception_acc = {option_1_enum_none_1_cons,
{none_1_cons: NULL}};
option_1_enum exception_current;
char exception_conflict = 0;
exception_current = code(env, NULL);
if (exception_current.code == option_1_enum_some_1_cons) {
if (exception_acc.code == option_1_enum_some_1_cons) {
exception_conflict = 1;
} else {
exception_acc = exception_current;
}
}
if (exception_conflict) {
catala_fatal_error_raised.code = catala_conflict;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 11;
catala_fatal_error_raised.position.start_column = 11;
catala_fatal_error_raised.position.end_line = 11;
catala_fatal_error_raised.position.end_column = 12;
longjmp(catala_fatal_error_jump_buffer, 0);
}
if (exception_acc.code == option_1_enum_some_1_cons) {
temp_a_1 = exception_acc;
} else {
if (1 /* TRUE */) {
bar_enum temp_a_2;
option_1_enum temp_a_3;
option_1_enum temp_a_4;
if (1 /* TRUE */) {
bar_enum temp_a_5 = {bar_enum_no_cons, {no_cons: NULL}};
option_1_enum temp_a_6 = {option_1_enum_some_1_cons,
{some_1_cons: temp_a_5}};
temp_a_4 = temp_a_6;
} else {
temp_a_4.code = option_1_enum_none_1_cons;
temp_a_4.payload.none_1_cons = NULL;
}
option_1_enum exception_acc_1 = {option_1_enum_none_1_cons,
{none_1_cons: NULL}};
option_1_enum exception_current_1;
char exception_conflict_1 = 0;
exception_current_1 = temp_a_4;
if (exception_current_1.code == option_1_enum_some_1_cons) {
if (exception_acc_1.code == option_1_enum_some_1_cons) {
exception_conflict_1 = 1;
} else {
exception_acc_1 = exception_current_1;
}
}
if (exception_conflict_1) {
catala_fatal_error_raised.code = catala_conflict;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 11;
catala_fatal_error_raised.position.start_column = 11;
catala_fatal_error_raised.position.end_line = 11;
catala_fatal_error_raised.position.end_column = 12;
longjmp(catala_fatal_error_jump_buffer, 0);
}
if (exception_acc_1.code == option_1_enum_some_1_cons) {
temp_a_3 = exception_acc_1;
} else {
if (0 /* FALSE */) {
option_1_enum temp_a_7 = {option_1_enum_none_1_cons,
{none_1_cons: NULL}};
temp_a_3 = temp_a_7;
} else {
temp_a_3.code = option_1_enum_none_1_cons;
temp_a_3.payload.none_1_cons = NULL;
}
}
option_1_enum match_arg = temp_a_3;
if (match_arg.code == option_1_enum_none_1_cons) {
void* /* unit */ dummy_var = match_arg.payload.none_1_cons;
catala_fatal_error_raised.code = catala_no_value_provided;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 11;
catala_fatal_error_raised.position.start_column = 11;
catala_fatal_error_raised.position.end_line = 11;
catala_fatal_error_raised.position.end_column = 12;
longjmp(catala_fatal_error_jump_buffer, 0);
} else if (match_arg.code == option_1_enum_some_1_cons) {
bar_enum arg = match_arg.payload.some_1_cons;
temp_a_2 = arg;
}
option_1_enum temp_a_8 = {option_1_enum_some_1_cons,
{some_1_cons: temp_a_2}};
temp_a_1 = temp_a_8;
} else {
temp_a_1.code = option_1_enum_none_1_cons;
temp_a_1.payload.none_1_cons = NULL;
}
}
option_1_enum match_arg_1 = temp_a_1;
if (match_arg_1.code == option_1_enum_none_1_cons) {
void* /* unit */ dummy_var = match_arg_1.payload.none_1_cons;
catala_fatal_error_raised.code = catala_no_value_provided;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 11;
catala_fatal_error_raised.position.start_column = 11;
catala_fatal_error_raised.position.end_line = 11;
catala_fatal_error_raised.position.end_column = 12;
longjmp(catala_fatal_error_jump_buffer, 0);
} else if (match_arg_1.code == option_1_enum_some_1_cons) {
bar_enum arg_1 = match_arg_1.payload.some_1_cons;
temp_a = arg_1;
}
bar_enum a_1;
a_1 = temp_a;
double temp_b;
option_2_enum temp_b_1;
option_2_enum temp_b_2;
option_2_enum temp_b_3;
char /* bool */ temp_b_4;
bar_enum match_arg_2 = a_1;
if (match_arg_2.code == bar_enum_no_cons) {
void* /* unit */ dummy_var = match_arg_2.payload.no_cons;
temp_b_4 = 1 /* TRUE */;
} else if (match_arg_2.code == bar_enum_yes_cons) {
foo_struct dummy_var = match_arg_2.payload.yes_cons;
temp_b_4 = 0 /* FALSE */;
}
if (temp_b_4) {
option_2_enum temp_b_5 = {option_2_enum_some_2_cons, {some_2_cons: 42.}};
temp_b_3 = temp_b_5;
} else {
temp_b_3.code = option_2_enum_none_2_cons;
temp_b_3.payload.none_2_cons = NULL;
}
option_2_enum exception_acc_2 = {option_2_enum_none_2_cons,
{none_2_cons: NULL}};
option_2_enum exception_current_2;
char exception_conflict_2 = 0;
exception_current_2 = temp_b_3;
if (exception_current_2.code == option_2_enum_some_2_cons) {
if (exception_acc_2.code == option_2_enum_some_2_cons) {
exception_conflict_2 = 1;
} else {
exception_acc_2 = exception_current_2;
}
}
if (exception_conflict_2) {
catala_fatal_error_raised.code = catala_conflict;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 12;
catala_fatal_error_raised.position.start_column = 10;
catala_fatal_error_raised.position.end_line = 12;
catala_fatal_error_raised.position.end_column = 11;
longjmp(catala_fatal_error_jump_buffer, 0);
}
if (exception_acc_2.code == option_2_enum_some_2_cons) {
temp_b_2 = exception_acc_2;
} else {
if (0 /* FALSE */) {
option_2_enum temp_b_6 = {option_2_enum_none_2_cons,
{none_2_cons: NULL}};
temp_b_2 = temp_b_6;
} else {
temp_b_2.code = option_2_enum_none_2_cons;
temp_b_2.payload.none_2_cons = NULL;
}
}
option_2_enum exception_acc_3 = {option_2_enum_none_2_cons,
{none_2_cons: NULL}};
option_2_enum exception_current_3;
char exception_conflict_3 = 0;
exception_current_3 = temp_b_2;
if (exception_current_3.code == option_2_enum_some_2_cons) {
if (exception_acc_3.code == option_2_enum_some_2_cons) {
exception_conflict_3 = 1;
} else {
exception_acc_3 = exception_current_3;
}
}
if (exception_conflict_3) {
catala_fatal_error_raised.code = catala_conflict;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 12;
catala_fatal_error_raised.position.start_column = 10;
catala_fatal_error_raised.position.end_line = 12;
catala_fatal_error_raised.position.end_column = 11;
longjmp(catala_fatal_error_jump_buffer, 0);
}
if (exception_acc_3.code == option_2_enum_some_2_cons) {
temp_b_1 = exception_acc_3;
} else {
if (1 /* TRUE */) {
option_2_enum temp_b_7;
option_2_enum temp_b_8;
if (1 /* TRUE */) {
double temp_b_9;
bar_enum match_arg_3 = a_1;
if (match_arg_3.code == bar_enum_no_cons) {
void* /* unit */ dummy_var = match_arg_3.payload.no_cons;
temp_b_9 = 0.;
} else if (match_arg_3.code == bar_enum_yes_cons) {
foo_struct foo = match_arg_3.payload.yes_cons;
double temp_b_10;
if (foo.x_field) {
temp_b_10 = 1.;
} else {
temp_b_10 = 0.;
}
temp_b_9 = (foo.y_field + temp_b_10);
}
option_2_enum temp_b_11 = {option_2_enum_some_2_cons,
{some_2_cons: temp_b_9}};
temp_b_8 = temp_b_11;
} else {
temp_b_8.code = option_2_enum_none_2_cons;
temp_b_8.payload.none_2_cons = NULL;
}
option_2_enum exception_acc_4 = {option_2_enum_none_2_cons,
{none_2_cons: NULL}};
option_2_enum exception_current_4;
char exception_conflict_4 = 0;
exception_current_4 = temp_b_8;
if (exception_current_4.code == option_2_enum_some_2_cons) {
if (exception_acc_4.code == option_2_enum_some_2_cons) {
exception_conflict_4 = 1;
} else {
exception_acc_4 = exception_current_4;
}
}
if (exception_conflict_4) {
catala_fatal_error_raised.code = catala_conflict;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 12;
catala_fatal_error_raised.position.start_column = 10;
catala_fatal_error_raised.position.end_line = 12;
catala_fatal_error_raised.position.end_column = 11;
longjmp(catala_fatal_error_jump_buffer, 0);
}
if (exception_acc_4.code == option_2_enum_some_2_cons) {
temp_b_7 = exception_acc_4;
} else {
if (0 /* FALSE */) {
option_2_enum temp_b_12 = {option_2_enum_none_2_cons,
{none_2_cons: NULL}};
temp_b_7 = temp_b_12;
} else {
temp_b_7.code = option_2_enum_none_2_cons;
temp_b_7.payload.none_2_cons = NULL;
}
}
temp_b_1 = temp_b_7;
} else {
temp_b_1.code = option_2_enum_none_2_cons;
temp_b_1.payload.none_2_cons = NULL;
}
}
option_2_enum match_arg_4 = temp_b_1;
if (match_arg_4.code == option_2_enum_none_2_cons) {
void* /* unit */ dummy_var = match_arg_4.payload.none_2_cons;
catala_fatal_error_raised.code = catala_no_value_provided;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 12;
catala_fatal_error_raised.position.start_column = 10;
catala_fatal_error_raised.position.end_line = 12;
catala_fatal_error_raised.position.end_column = 11;
longjmp(catala_fatal_error_jump_buffer, 0);
} else if (match_arg_4.code == option_2_enum_some_2_cons) {
double arg_2 = match_arg_4.payload.some_2_cons;
temp_b = arg_2;
}
double b;
b = temp_b;
array_3_struct temp_c;
option_3_enum temp_c_1;
option_3_enum temp_c_2;
if (1 /* TRUE */) {
array_3_struct temp_c_3;
temp_c_3.content_field = catala_malloc(sizeof(array_3_struct));
temp_c_3.content_field[0] = b;
temp_c_3.content_field[1] = b;
option_3_enum temp_c_4 = {option_3_enum_some_3_cons,
{some_3_cons: temp_c_3}};
temp_c_2 = temp_c_4;
} else {
temp_c_2.code = option_3_enum_none_3_cons;
temp_c_2.payload.none_3_cons = NULL;
}
option_3_enum exception_acc_5 = {option_3_enum_none_3_cons,
{none_3_cons: NULL}};
option_3_enum exception_current_5;
char exception_conflict_5 = 0;
exception_current_5 = temp_c_2;
if (exception_current_5.code == option_3_enum_some_3_cons) {
if (exception_acc_5.code == option_3_enum_some_3_cons) {
exception_conflict_5 = 1;
} else {
exception_acc_5 = exception_current_5;
}
}
if (exception_conflict_5) {
catala_fatal_error_raised.code = catala_conflict;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 13;
catala_fatal_error_raised.position.start_column = 10;
catala_fatal_error_raised.position.end_line = 13;
catala_fatal_error_raised.position.end_column = 11;
longjmp(catala_fatal_error_jump_buffer, 0);
}
if (exception_acc_5.code == option_3_enum_some_3_cons) {
temp_c_1 = exception_acc_5;
} else {
if (0 /* FALSE */) {
option_3_enum temp_c_5 = {option_3_enum_none_3_cons,
{none_3_cons: NULL}};
temp_c_1 = temp_c_5;
} else {
temp_c_1.code = option_3_enum_none_3_cons;
temp_c_1.payload.none_3_cons = NULL;
}
}
option_3_enum match_arg_5 = temp_c_1;
if (match_arg_5.code == option_3_enum_none_3_cons) {
void* /* unit */ dummy_var = match_arg_5.payload.none_3_cons;
catala_fatal_error_raised.code = catala_no_value_provided;
catala_fatal_error_raised.position.filename = "tests/test_backends/simple.catala_en";
catala_fatal_error_raised.position.start_line = 13;
catala_fatal_error_raised.position.start_column = 10;
catala_fatal_error_raised.position.end_line = 13;
catala_fatal_error_raised.position.end_column = 11;
longjmp(catala_fatal_error_jump_buffer, 0);
} else if (match_arg_5.code == option_3_enum_some_3_cons) {
array_3_struct arg_3 = match_arg_5.payload.some_3_cons;
temp_c = arg_3;
}
array_3_struct c;
c = temp_c;
baz_struct baz = { b, c };
return baz;
}

5
tests/test_backends/simple.catala_en
View File

@ -26,3 +26,8 @@ scope Baz:
definition c equals [b;b]
```
```catala-test { id = "c" }
$ catala c -o -
```

2
tests/test_date/bad/substraction.catala_en
View File

@ -29,4 +29,4 @@ Type duration coming from expression:
6 │ definition o equals |2024-01-16| - 0 day <= 0 day
│ ‾‾‾‾‾
#return code 123#
```
```

2
tests/test_date/good/rounding_option_fr.catala_fr
View File

@ -39,4 +39,4 @@ $ catala Interpret -s Test
$ catala Interpret_Lcalc -s Test --avoid-exceptions --optimize
[RESULT] Computation successful! Results:
[RESULT] r = vrai
```
```