[PSym] minor

p-org · Jul 28, 2023 · 50027d0 · 50027d0
1 parent 2621139
commit 50027d0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Src/PRuntimes/PSymRuntime/src/main/java/psym/valuesummary/MapVS.java b/Src/PRuntimes/PSymRuntime/src/main/java/psym/valuesummary/MapVS.java
@@ -231,8 +231,8 @@ public MapVS<K, T, V> put(T keySummary, V valSummary) {
     }
 
     MapVS<K, T, V> result = new MapVS<>(newKeys, newEntries);
-    assert result.containsKey(keySummary).getGuardFor(true).equals(keySummary.getUniverse());
-    assert (result.get(keySummary).symbolicEquals(valSummary, Guard.constTrue()).getGuardFor(true).equals(valSummary.getUniverse()));
+//    assert result.containsKey(keySummary).getGuardFor(true).equals(keySummary.getUniverse());
+//    assert (result.get(keySummary).symbolicEquals(valSummary, Guard.constTrue()).getGuardFor(true).equals(valSummary.getUniverse()));
     return result;
   }