diff --git a/Hands-on-2/Makefile b/Hands-on-2/Makefile index 20a083103548225a1eca17c7d8e7f687ffd8ba94..4d7688fe1906a09ab94972a023a530ddbe8eb22b 100644 --- a/Hands-on-2/Makefile +++ b/Hands-on-2/Makefile @@ -24,7 +24,7 @@ OBJECTS2.0-mpi-tsan = $(SOURCES2.0:.cc=.mpi-tsan.o) OBJECTS2.0-mpi = $(SOURCES2.0:.cc=.mpi.o) #Default build suggestions with OpenMP for g++ -CXXFLAGS = -g -O3 -fopenmp -I. -Wall +CXXFLAGS = -g -O3 -fopenmp -I. -Wall -Wno-reorder-ctor LDFLAGS = -g -O3 -fopenmp ifndef WITH_FLOAT diff --git a/Hands-on-2/README.md b/Hands-on-2/README.md index 7f36129953ce4c7153687c671f293b2bd4626d5b..2c72ba8349ea4d4434d82d6f46ac623247e4f3ef 100644 --- a/Hands-on-2/README.md +++ b/Hands-on-2/README.md @@ -29,7 +29,7 @@ All TSan output goes to stderr ## Type checking in MUST Recompile Lulesh with TypeART: -* `MPICXX=typeart-mpic++ make -j4 -B lulesh2.0-mpi` +* `MPICXX=typeart-mpic++ make -j4 WITH_FLOAT=1 -B lulesh2.0-mpi` Execute with TypeART analysis: * `OMP_NUM_THREADS=1 mustrun -n 8 --must:typeart --must:output stdout ./lulesh2.0-mpi -i 2` diff --git a/slides/MPI + OpenMP Correctness Checking with MUST.pdf b/slides/MPI + OpenMP Correctness Checking with MUST.pdf new file mode 100644 index 0000000000000000000000000000000000000000..75d2eb6f096cf110091897b271b7a5ca8cf192f8 Binary files /dev/null and b/slides/MPI + OpenMP Correctness Checking with MUST.pdf differ