0

Test the code

How can I prove the code? If I try to reply a first output, the second is wrong and if I change the first, the second is wrong

2nd Jan 2021, 6:35 AM
Rosalía VH
Rosalía VH - avatar
2 Respuestas
+ 2
Please be descriptive when writing a question. Prove the code? what code? where? Reply first output, the second is wrong ... Hard to understand. And please don't write a statement, question or snippet into the tags above ☝ The below guide will help you understand how to compose a question well 👍 https://www.sololearn.com/Discuss/333866/?ref=app
2nd Jan 2021, 6:54 AM
Ipang
0
There is software for writting proof out there but i doubt thats what you mean. Quote from one I've used before: "Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, the Verified Software Toolchain for verification of C programs, or the Iris framework for concurrent separation logic), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem, or homotopy type theory), and teaching" https://coq.inria.fr Alternatively, you mentioned test the code. Maybe you mean unit tests, etc. If so, there are several options, language specific though. Would help if we new the programming language and like lpang said more description required for your question.
2nd Jan 2021, 7:32 AM
Javadev