waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove unnecessary intermediate variables 

Introduced in some previous commits, so basically reverting that.

Signed-off-by: KtorZ <5680256+KtorZ@users.noreply.github.com>
This commit is contained in:
KtorZ 2025-02-08 16:17:14 +01:00
parent c382e6fba8
commit 782c3274f8
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/aiken-lang/src/test_framework.rs
View File

@ -372,9 +372,7 @@ impl PropertyTest {
let mut counterexample = None; let mut counterexample = None;
while *remaining > 0 && counterexample.is_none() { while *remaining > 0 && counterexample.is_none() {
let (next_prng, cex) = self.run_once(prng, labels, plutus_version)?; (prng, counterexample) = self.run_once(prng, labels, plutus_version)?;
prng = next_prng;
counterexample = cex;
*remaining -= 1; *remaining -= 1;
} }