Task: task_hd_equal and task_equal compare the goals structurally
[why3.git] / bench / 
treef7f9ba3dc485b4842d112d8410631c0de9e0ab32
drwxr-xr-x   ..
-rwxr-xr-x 14196 bench
-rwxr-xr-x 6324 ce-bench
drwxr-xr-x - ce
drwxr-xr-x - ce_xfail
-rwxr-xr-x 1289 check_realizations.sh
drwxr-xr-x - encoding
drwxr-xr-x - extraction
-rwxr-xr-x 1549 ide-bench
drwxr-xr-x - ide
drwxr-xr-x - interp
drwxr-xr-x - invalid
-rwxr-xr-x 1144 parsing-bench
drwxr-xr-x - parsing
drwxr-xr-x - plugins
drwxr-xr-x - programs
drwxr-xr-x - replay
-rw-r--r-- 34 true_goal.why
drwxr-xr-x - typing
drwxr-xr-x - valid