Mikhail Kosticyn
Mikhail Kosticyn
Hi @smhmhmd Before running V#, you should do `dotnet publish --self-contained -r (RID) -c Release`. You can find your RID in this paper https://learn.microsoft.com/ru-ru/dotnet/core/rid-catalog. This command will create folder 'publish',...
Hi @smhmhmd Actually I don't see 'return true' branch either. That happens, because every loop bound is symbolic, so symbolic execution creates new symbolic state on each loop iteration. This...
Hi @smhmhmd If you want to print all states, which are complete exploration, you can do it inside "Explorer.fs:reportState" function. But there are so many symbolic states... About heuristics, searching...
Hi @smhmhmd Branch 'return true' is reachable, here is example: ``` public class Program { public static void Main() { var board = new int[8][] { new int[8] { 0,...
Это не совсем так: иногда есть ветки, которые точно недостижимы и мы хотим это проверять.
Вот последнее поведение действительно странное..