JetBrains-Research / HumanEval-Dafny

Translating humaneval into dafny
Apache License 2.0
4 stars 1 forks source link

025-factorize does not guarantee that returned list contains prime factors #51

Open jesyspa opened 1 week ago

jesyspa commented 1 week ago

The factorisation required should be into primes, but the current one simply guarantees a list of numbers that multiply to the input.