Last tf2 commit

Jason Rute · Jason Rute · commit e84f2085cd0d · 2023-02-08T21:30:39.000-05:00
This is the most recent fully working commit of tf2 before removal.
Compatible with coq-tactician-reinforce commit
68e5faa3309c662200444e83d621951556052170

Signed-off-by: Jason Rute &lt;Jason.Rute@ibm.com&gt;
diff --git a/tests/data/propchain_large/test0/fingerprint.out b/tests/data/propchain_large/test0/fingerprint.out
@@ -1 +1 @@
-5.3704E-01 0.0000E+00 1.0000E+00 6.8922E-01 2.6749E+00 6.7947E-01 1.0000E+00 0.0000E+00 1.0000E+00 6.6989E-01 2.6706E+00 6.4981E-01 1.0000E+00 0.0000E+00 1.0000E+00 6.2823E-01 2.6609E+00 5.8358E-01 1.0000E+00 0.0000E+00 1.0000E+00 5.3975E-01 2.6390E+00 4.5518E-01
+5.7716E-01 0.0000E+00 1.0000E+00 6.8911E-01 2.6749E+00 6.7902E-01 1.0000E+00 0.0000E+00 1.0000E+00 6.6906E-01 2.6704E+00 6.4816E-01 1.0000E+00 0.0000E+00 1.0000E+00 6.2576E-01 2.6604E+00 5.7956E-01 1.0000E+00 0.0000E+00 1.0000E+00 5.3444E-01 2.6381E+00 4.4790E-01

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-5.3704E-01 0.0000E+00 1.0000E+00 6.8922E-01 2.6749E+00 6.7947E-01 1.0000E+00 0.0000E+00 1.0000E+00 6.6989E-01 2.6706E+00 6.4981E-01 1.0000E+00 0.0000E+00 1.0000E+00 6.2823E-01 2.6609E+00 5.8358E-01 1.0000E+00 0.0000E+00 1.0000E+00 5.3975E-01 2.6390E+00 4.5518E-01`
	`1`	`+5.7716E-01 0.0000E+00 1.0000E+00 6.8911E-01 2.6749E+00 6.7902E-01 1.0000E+00 0.0000E+00 1.0000E+00 6.6906E-01 2.6704E+00 6.4816E-01 1.0000E+00 0.0000E+00 1.0000E+00 6.2576E-01 2.6604E+00 5.7956E-01 1.0000E+00 0.0000E+00 1.0000E+00 5.3444E-01 2.6381E+00 4.4790E-01`