Path condition

.github/workflows/build_vsharp.yml

@@ -1,31 +1,39 @@
 name: 'Build VSharp'
 
 on:
-  workflow_call
+  [workflow_call, pull_request, push]
 
 jobs:
   build:
     runs-on: ubuntu-22.04
     steps:
+    - uses: actions/setup-dotnet@v4
+      with:
+        dotnet-version: '7.0.x'
+
     - name: Checkout VSharp
-      uses: actions/checkout@v3
+      uses: actions/checkout@v4
       with:
         submodules: false
-    - uses: actions/cache@v3
+
+    - uses: actions/cache@v4
       id: nuget-cache
       with:
         path: ~/.nuget/packages
         key: ${{ runner.os }}-nuget-${{ hashFiles('**/*.csproj', '**/*.fsproj') }}
         restore-keys: |
           ${{ runner.os }}-nuget-
+
     - name: Build VSharp
       run:
-        dotnet build -c DebugTailRec
-    - uses: actions/upload-artifact@v3
+        dotnet build -c Release
+
+    - uses: actions/upload-artifact@v4
       with:
         name: runner
         path: ./VSharp.Runner/bin/DebugTailRec/net7.0
-    - uses: actions/upload-artifact@v3
+
+    - uses: actions/upload-artifact@v4
       with:
         name: test_runner
         path: ./VSharp.TestRunner/bin/DebugTailRec/net7.0

VSharp.IL/CFG.fs

@@ -8,6 +8,7 @@ open System.Reflection
 open System.Collections.Generic
 open Microsoft.FSharp.Collections
 open VSharp
+open VSharp.Core
 
 type ICallGraphNode =
     inherit IGraphNode<ICallGraphNode>
@@ -519,7 +520,7 @@ and IGraphTrackableState =
     abstract member CodeLocation: codeLocation
     abstract member CallStack: list<Method>
     abstract member Id: uint<stateId>
-    abstract member PathConditionSize: uint    
+    abstract member PathCondition: pathCondition   
     abstract member VisitedNotCoveredVerticesInZone: uint with get
     abstract member VisitedNotCoveredVerticesOutOfZone: uint with get
     abstract member VisitedAgainVertices: uint with get