luaur-reduce-cli 0.1.0

Command-line Luau test-case reducer (Rust).
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

use crate::enums::test_result::TestResult;
use crate::records::reducer::Reducer;
use alloc::vec::Vec;
use core::cmp;
use luaur_ast::records::ast_array::AstArray;
use luaur_ast::records::ast_stat::AstStat;
use luaur_ast::records::ast_stat_block::AstStatBlock;

impl Reducer {
    pub fn delete_child_statements_ast_stat_block_usize(
        &mut self,
        block: *mut AstStatBlock,
        chunk_count: usize,
    ) -> (bool, usize) {
        unsafe {
            if (*block).body.size == 0 {
                return (false, chunk_count);
            }

            let mut current_chunk_count = chunk_count;
            let block_size = (*block).body.size;

            loop {
                let permutations = self.generate_spans(block_size, current_chunk_count);
                for (span1, span2) in permutations {
                    let temp_statements = self.pruned_span(block, span1, span2);
                    let mut backup_body = (*block).body;

                    let mut new_body = AstArray {
                        data: temp_statements.as_ptr() as *mut *mut AstStat,
                        size: temp_statements.len(),
                    };

                    core::mem::swap(&mut (*block).body, &mut new_body);

                    let result = self.run();
                    if result == TestResult::BugFound {
                        // The bug still reproduces without the statements we've culled. Commit.
                        (*block).body.data = self.reallocate_statements(&temp_statements);
                        (*block).body.size = temp_statements.len();
                        return (true, cmp::max(2, current_chunk_count.saturating_sub(1)));
                    } else {
                        core::mem::swap(&mut (*block).body, &mut new_body);
                    }
                }

                current_chunk_count *= 2;
                if current_chunk_count > block_size {
                    break;
                }
            }

            (false, block_size)
        }
    }
}