-/* Copyright (c) 2012-2014. The SimGrid Team.
+/* Copyright (c) 2012-2014, 2016-2017. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#include "xbt/mmalloc.h"
#include "xbt.h"
-#include <stdio.h>
-#include <assert.h>
+#include <cassert>
+#include <cstdio>
+#include <cstdlib>
+#include <cstring>
#include <fcntl.h>
#include <sys/stat.h>
-#include <stdlib.h>
-#include <string.h>
#include <unistd.h>
#include <xbt/ex.hpp>
} catch(xbt_ex& e) {
gotit = true;
}
- if (!gotit)
+ if (not gotit)
xbt_die("FAIL: A double-free went undetected (for size:%d)",size_of_block(i));
}
} catch(xbt_ex& e) {
gotit = true;
}
- if (!gotit)
+ if (not gotit)
xbt_die("FAIL: A double-free went undetected (for size:%d)",size_of_block(i));
}