Actions
Bug #9522
closedACSL-By-Example: This application creates an illegal alias
Start date:
03/11/2019
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
Description
WP работает, мы - падаем. Возможно, потому что \separated игнорится. Прикладываю все примеры с такой ошибкой. Думаю, что причина одна и та же. Но лучше протестировать на всем после решения тикета.
why3 ide --extra-config /home/work/.opam/astraver/lib/jessie/why3/why3.conf partial_sort_normal_c.mlw [Config] reading extra configuration file /home/work/.opam/astraver/lib/jessie/why3/why3.conf Error while reading file '../partial_sort_normal_c.mlw': File "partial_sort_normal_c/../partial_sort_normal_c.mlw", line 4546, characters 16-39: This application creates an illegal alias make: *** [partial_sort_normal_c.makefile:15: why3ide] Error 1
Files
Actions