Add comment to dpram test about related issue.
authorSergeyDegtyar <sndegtyar@gmail.com>
Wed, 18 Sep 2019 09:16:04 +0000 (12:16 +0300)
committerSergeyDegtyar <sndegtyar@gmail.com>
Wed, 18 Sep 2019 09:16:04 +0000 (12:16 +0300)
tests/ecp5/dpram.ys

index 786dee134ab0594eb8bedf11b9625857e9ae64ba..3bc6bc1d0bab49c1beb059830d7d00dfcb27afa0 100644 (file)
@@ -8,6 +8,7 @@ opt -full
 
 miter -equiv -flatten -make_assert -make_outputs gold gate miter
 
+#Blocked by issue #1358 (Missing ECP5 simulation models)
 #ERROR: Failed to import cell gate.mem.0.0.0 (type DP16KD) to SAT database.
 #sat -verify -prove-asserts -seq 3 -set-init-zero -show-inputs -show-outputs miter