update ffi to use lowercased synth challenges file name

This commit is contained in:
Łukasz Magiera 2023-07-13 15:41:46 +02:00
parent 34996df465
commit 85b78f9ffd

View File

@ -1090,7 +1090,7 @@ func TestSealAndVerifySynth(t *testing.T) {
}
miner := abi.ActorID(123)
synthPorRepVProofsName := "SynPoRepVanillaProofs"
synthPorRepVProofsName := "syn-porep-vanilla-proofs.dat"
printFileList := func(stage string, expectSynthPorep bool) {
var hasSynthPorep bool