tinygrad/test/unit
Sieds Lykles ae02a1e232
[bounty] Z3 symbolic fuzzer [pr] (#10514)
* First version, caught a bug?

* Nicely print failure to reproduce

* Remove that

* Put the assert back

* Change fuzzing to use testing_unit so it has z3

* Test key to match

* Add rule

* Add test

* Add test for edge case 0

* Merge patterns

* update comment

* consistent whitespace

* whitespace

* add condition

* add test

* update comment

* use Variable

* fuzzer using z3_renderer

* Cleaned up printing and debugging

* working new fuzzer

* change some comments and printing

* more formatting

* fuzz failures in seperate file

* fix fstring

* more tests

* naming

* remove added line

* remove comment

* print number of skipped expressions

* use self.assertEqual

---------

Co-authored-by: chenyu <chenyu@fastmail.com>
2025-05-28 16:28:37 -04:00
..
__init__.py more test cleanups (#2631) 2023-12-05 16:17:57 -08:00
test_allreduce.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_attention.py move cast to before softmax in attention (#9213) 2025-02-24 17:24:59 -05:00
test_block_reorder.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_device.py make DISABLE_COMPILER_CACHE a ContextVar [pr] (#9983) 2025-04-22 10:32:54 -04:00
test_disk_cache.py helpers.diskcache_clear (#4436) 2024-05-05 14:19:01 -04:00
test_disk_tensor.py setitem tests (some failing) from kernelize (#9940) 2025-04-20 18:47:55 +08:00
test_elf.py CLANG -> CPU (#9189) 2025-02-20 18:03:09 -05:00
test_gguf.py add a missing unittest.main() [pr] (#8274) 2024-12-16 14:28:10 -05:00
test_gradient.py view gradient is tricky (#10528) 2025-05-26 22:28:30 -07:00
test_graph_rewrite.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_helpers.py feat: use tinygrad useragent (#10488) 2025-05-23 15:44:40 -07:00
test_linearizer_rewrite.py use Ops.REDUCE (#9721) 2025-04-04 10:14:34 +08:00
test_microbenchmarks.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_pattern_matcher.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_qcom.py BufferSpec and ProgramSpec [pr] (#7814) 2024-11-21 12:18:05 +08:00
test_rewrite_map.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_shapetracker.py handle stride 0 variable reshape (#10536) 2025-05-27 10:00:24 -07:00
test_shapetracker_math.py [bounty] Stride is flip (#8792) 2025-01-31 11:34:10 +09:00
test_shm_tensor.py line reduction [pr] (#7296) 2024-10-25 17:05:09 +07:00
test_simplify_valid_idx.py fix tensor int floor div (#10327) 2025-05-21 06:46:54 -04:00
test_symbolic_failures.py [bounty] Z3 symbolic fuzzer [pr] (#10514) 2025-05-28 16:28:37 -04:00
test_tar.py accept filename decorator [pr] (#8049) 2024-12-05 11:40:59 +08:00
test_tensor_io.py tar_extract with Tensors (#7853) 2024-12-04 17:03:19 +08:00
test_tensor_uop_representation.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_tqdm.py add rounding to tqdm unit scale (#9507) 2025-03-19 12:08:46 -04:00
test_transcendental_helpers.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_uop_resolve.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_uop_symbolic.py More div conditions (#10432) 2025-05-26 07:36:05 -04:00
test_uop_vmin_vmax.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_upat_compile.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00
test_verify_ast.py s/shape_spec/ast_spec [pr] (#10485) 2025-05-23 15:43:54 +03:00
test_view.py Small bug in _reshape_mask (#8538) 2025-01-08 22:11:24 -05:00
test_viz.py move files into uop dir (#10399) 2025-05-18 11:38:28 -07:00