Commit 1ca16e99 authored by CHAMONT David's avatar CHAMONT David
Browse files

rename first progr into checkenv.cpp

parent 484b7ee5
......@@ -26,7 +26,7 @@ ce répertoire en tant que `/work` au sein de la machine Docker.
Créez le programme suivant au sein de <LOCAL> :
```c++
// Fichier lost_precision.cpp
// Fichier checkenv.cpp
#include <iostream>
......@@ -51,8 +51,8 @@ A présent, compilez le et exécutez le au sein d'une machine Docker
```shell
> docker run --rm -it -v <LOCAL>:/work -w /work piscineri3/calculverrou:2
>> g++ -std=c++14 lost_precision.cpp -o lost_precision.exe
>> ./lost_precision.exe
>> g++ -std=c++14 checkenv.cpp -o checkenv.exe
>> ./checkenv.exe
pi : 3.14159
small : 0.00141421
pi+small : 3.143
......@@ -63,11 +63,11 @@ A présent, tentons une exécution "verrouillée" :
```shell
> docker run --rm -it -v <LOCAL>:/work -w /work piscineri3/calculverrou:2
>> source /opt/verrou/1.1.0/env.sh
>> valgrind --tool=verrou --rounding-mode=random ./lost_precision.exe
>> valgrind --tool=verrou --rounding-mode=random ./checkenv.exe
==72== Verrou, Check floating-point rounding errors
==72== Copyright (C) 2014-2016, F. Fevotte & B. Lathuiliere.
==72== Using Valgrind-3.13.0+verrou-dev and LibVEX; rerun with -h for copyright info
==72== Command: ./lost_precision.exe
==72== Command: ./checkenv.exe
==72==
==72== First seed : 970074
==72== Simulating RANDOM rounding mode
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment