-
Sylvain Dailler authored
Source_and_ce now takes locations as arguments too. The server now uses the source to compute a new list of locations which corresponds to correct locations in a file where counterexample comments are added.
6d1052d2
Source_and_ce now takes locations as arguments too. The server now uses the source to compute a new list of locations which corresponds to correct locations in a file where counterexample comments are added.