Skip to content

Instantly share code, notes, and snippets.

@kanaka
Last active August 15, 2019 15:41
Show Gist options
  • Save kanaka/119f5ed9841e23e35d07e8944cca6aa7 to your computer and use it in GitHub Desktop.
Save kanaka/119f5ed9841e23e35d07e8944cca6aa7 to your computer and use it in GitHub Desktop.
Debugging of servo webdriver crash (https://github.com/servo/servo/issues/23905)
# Start servo in headless mode with webdriver
./mach run --release -z --webdriver=7002 --resolution=400x300
# Put test4.html, rend.css and norm.css in current directory
# Start a simple webserver
python3 -m http.server 9080
# Repeatedly load test4.html test file until servo crashes
time ./load_test4.sh
#!/bin/bash
set -e
if [ -z "${SESSIONID}" ]; then
SESSIONID=$(curl -X POST -d "{}" http://localhost:7002/session | jq -r ".value.sessionId")
if [ -z "${SESSIONID}" ]; then echo "Could not get session ID"; exit 1; fi
fi
echo "using SESSIONID: ${SESSIONID}"
mkdir -p data css
if [ ! -e css/AHEM____.TTF ]; then
echo "Downloading AHEM font"
curl -s -o css/AHEM____.TTF https://www.w3.org/Style/CSS/Test/Fonts/Ahem/AHEM____.TTF
fi
echo "Duplicating CSS files"
for i in $(seq 10); do
cp rend.css css/rend${i}.css
cp norm.css css/norm${i}.css
done
i=0
while true; do
echo "Run ${i}"
i=$(( i + 1 ))
curl -s -X POST -d '{"url": "http://localhost:9080/test4.html"}' http://localhost:7002/session/${SESSIONID}/url > /dev/null
#if ! curl -s http://localhost:7002/session/${SESSIONID}/screenshot | jq -r ".value" | base64 -d > data/test${i}.png; then
# echo "Screenshot failed on run ${i}"
#fi
sleep 0.3
done
/*! normalize.css v7.0.0 | MIT License | github.com/necolas/normalize.css */
/* Document
========================================================================== */
/**
* 1. Correct the line height in all browsers.
* 2. Prevent adjustments of font size after orientation changes in
* IE on Windows Phone and in iOS.
*/
html {
line-height: 1.15; /* 1 */
-ms-text-size-adjust: 100%; /* 2 */
-webkit-text-size-adjust: 100%; /* 2 */
}
/* Sections
========================================================================== */
/**
* Remove the margin in all browsers (opinionated).
*/
body {
margin: 0;
}
/**
* Add the correct display in IE 9-.
*/
article,
aside,
footer,
header,
nav,
section {
display: block;
}
/**
* Correct the font size and margin on `h1` elements within `section` and
* `article` contexts in Chrome, Firefox, and Safari.
*/
h1 {
font-size: 2em;
margin: 0.67em 0;
}
/* Grouping content
========================================================================== */
/**
* Add the correct display in IE 9-.
* 1. Add the correct display in IE.
*/
figcaption,
figure,
main { /* 1 */
display: block;
}
/**
* Add the correct margin in IE 8.
*/
figure {
margin: 1em 40px;
}
/**
* 1. Add the correct box sizing in Firefox.
* 2. Show the overflow in Edge and IE.
*/
hr {
box-sizing: content-box; /* 1 */
height: 0; /* 1 */
overflow: visible; /* 2 */
}
/**
* 1. Correct the inheritance and scaling of font size in all browsers.
* 2. Correct the odd `em` font sizing in all browsers.
*/
pre {
font-family: monospace, monospace; /* 1 */
font-size: 1em; /* 2 */
}
/* Text-level semantics
========================================================================== */
/**
* 1. Remove the gray background on active links in IE 10.
* 2. Remove gaps in links underline in iOS 8+ and Safari 8+.
*/
a {
background-color: transparent; /* 1 */
-webkit-text-decoration-skip: objects; /* 2 */
}
/**
* 1. Remove the bottom border in Chrome 57- and Firefox 39-.
* 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
*/
abbr[title] {
border-bottom: none; /* 1 */
text-decoration: underline; /* 2 */
text-decoration: underline dotted; /* 2 */
}
/**
* Prevent the duplicate application of `bolder` by the next rule in Safari 6.
*/
b,
strong {
font-weight: inherit;
}
/**
* Add the correct font weight in Chrome, Edge, and Safari.
*/
b,
strong {
font-weight: bolder;
}
/**
* 1. Correct the inheritance and scaling of font size in all browsers.
* 2. Correct the odd `em` font sizing in all browsers.
*/
code,
kbd,
samp {
font-family: monospace, monospace; /* 1 */
font-size: 1em; /* 2 */
}
/**
* Add the correct font style in Android 4.3-.
*/
dfn {
font-style: italic;
}
/**
* Add the correct background and color in IE 9-.
*/
mark {
background-color: #ff0;
color: #000;
}
/**
* Add the correct font size in all browsers.
*/
small {
font-size: 80%;
}
/**
* Prevent `sub` and `sup` elements from affecting the line height in
* all browsers.
*/
sub,
sup {
font-size: 75%;
line-height: 0;
position: relative;
vertical-align: baseline;
}
sub {
bottom: -0.25em;
}
sup {
top: -0.5em;
}
/* Embedded content
========================================================================== */
/**
* Add the correct display in IE 9-.
*/
audio,
video {
display: inline-block;
}
/**
* Add the correct display in iOS 4-7.
*/
audio:not([controls]) {
display: none;
height: 0;
}
/**
* Remove the border on images inside links in IE 10-.
*/
img {
border-style: none;
}
/**
* Hide the overflow in IE.
*/
svg:not(:root) {
overflow: hidden;
}
/* Forms
========================================================================== */
/**
* 1. Change the font styles in all browsers (opinionated).
* 2. Remove the margin in Firefox and Safari.
*/
button,
input,
optgroup,
select,
textarea {
font-family: sans-serif; /* 1 */
font-size: 100%; /* 1 */
line-height: 1.15; /* 1 */
margin: 0; /* 2 */
}
/**
* Show the overflow in IE.
* 1. Show the overflow in Edge.
*/
button,
input { /* 1 */
overflow: visible;
}
/**
* Remove the inheritance of text transform in Edge, Firefox, and IE.
* 1. Remove the inheritance of text transform in Firefox.
*/
button,
select { /* 1 */
text-transform: none;
}
/**
* 1. Prevent a WebKit bug where (2) destroys native `audio` and `video`
* controls in Android 4.
* 2. Correct the inability to style clickable types in iOS and Safari.
*/
button,
html [type="button"], /* 1 */
[type="reset"],
[type="submit"] {
-webkit-appearance: button; /* 2 */
}
/**
* Remove the inner border and padding in Firefox.
*/
button::-moz-focus-inner,
[type="button"]::-moz-focus-inner,
[type="reset"]::-moz-focus-inner,
[type="submit"]::-moz-focus-inner {
border-style: none;
padding: 0;
}
/**
* Restore the focus styles unset by the previous rule.
*/
button:-moz-focusring,
[type="button"]:-moz-focusring,
[type="reset"]:-moz-focusring,
[type="submit"]:-moz-focusring {
outline: 1px dotted ButtonText;
}
/**
* Correct the padding in Firefox.
*/
fieldset {
padding: 0.35em 0.75em 0.625em;
}
/**
* 1. Correct the text wrapping in Edge and IE.
* 2. Correct the color inheritance from `fieldset` elements in IE.
* 3. Remove the padding so developers are not caught out when they zero out
* `fieldset` elements in all browsers.
*/
legend {
box-sizing: border-box; /* 1 */
color: inherit; /* 2 */
display: table; /* 1 */
max-width: 100%; /* 1 */
padding: 0; /* 3 */
white-space: normal; /* 1 */
}
/**
* 1. Add the correct display in IE 9-.
* 2. Add the correct vertical alignment in Chrome, Firefox, and Opera.
*/
progress {
display: inline-block; /* 1 */
vertical-align: baseline; /* 2 */
}
/**
* Remove the default vertical scrollbar in IE.
*/
textarea {
overflow: auto;
}
/**
* 1. Add the correct box sizing in IE 10-.
* 2. Remove the padding in IE 10-.
*/
[type="checkbox"],
[type="radio"] {
box-sizing: border-box; /* 1 */
padding: 0; /* 2 */
}
/**
* Correct the cursor style of increment and decrement buttons in Chrome.
*/
[type="number"]::-webkit-inner-spin-button,
[type="number"]::-webkit-outer-spin-button {
height: auto;
}
/**
* 1. Correct the odd appearance in Chrome and Safari.
* 2. Correct the outline style in Safari.
*/
[type="search"] {
-webkit-appearance: textfield; /* 1 */
outline-offset: -2px; /* 2 */
}
/**
* Remove the inner padding and cancel buttons in Chrome and Safari on macOS.
*/
[type="search"]::-webkit-search-cancel-button,
[type="search"]::-webkit-search-decoration {
-webkit-appearance: none;
}
/**
* 1. Correct the inability to style clickable types in iOS and Safari.
* 2. Change font properties to `inherit` in Safari.
*/
::-webkit-file-upload-button {
-webkit-appearance: button; /* 1 */
font: inherit; /* 2 */
}
/* Interactive
========================================================================== */
/*
* Add the correct display in IE 9-.
* 1. Add the correct display in Edge, IE, and Firefox.
*/
details, /* 1 */
menu {
display: block;
}
/*
* Add the correct display in all browsers.
*/
summary {
display: list-item;
}
/* Scripting
========================================================================== */
/**
* Add the correct display in IE 9-.
*/
canvas {
display: inline-block;
}
/**
* Add the correct display in IE.
*/
template {
display: none;
}
/* Hidden
========================================================================== */
/**
* Add the correct display in IE 10-.
*/
[hidden] {
display: none;
}
@font-face {
font-family: Ahem;
src: url(AHEM____.TTF);
}
html {
background: #1289af;
}
body {
background: #1289af;
font: 25px/1 Ahem;
}
a {
background: #1288af;
font: 24px/1 Ahem;
}
abbr {
background: #1287af;
font: 23px/1 Ahem;
}
address {
background: #1286af;
font: 22px/1 Ahem;
}
area {
background: #1285af;
font: 21px/1 Ahem;
}
article {
background: #1284af;
font: 20px/1 Ahem;
}
aside {
background: #1283af;
font: 19px/1 Ahem;
}
audio {
background: #1282af;
font: 18px/1 Ahem;
}
b {
background: #1281af;
font: 17px/1 Ahem;
}
base {
background: #1280af;
font: 16px/1 Ahem;
}
bdi {
background: #1279af;
font: 15px/1 Ahem;
}
bdo {
background: #1278af;
font: 14px/1 Ahem;
}
blockquote {
background: #1277af;
font: 13px/1 Ahem;
}
br {
background: #1276af;
font: 12px/1 Ahem;
}
button {
background: #1275af;
font: 11px/1 Ahem;
}
canvas {
background: #1274af;
font: 10px/1 Ahem;
}
caption {
background: #1273af;
font: 9px/1 Ahem;
}
cite {
background: #1272af;
font: 8px/1 Ahem;
}
code {
background: #1271af;
font: 7px/1 Ahem;
}
col {
background: #1270af;
font: 6px/1 Ahem;
}
<html>
<head>
<link rel="stylesheet" href="css/norm1.css">
<link rel="stylesheet" href="css/norm2.css">
<link rel="stylesheet" href="css/norm3.css">
<link rel="stylesheet" href="css/norm4.css">
<link rel="stylesheet" href="css/norm5.css">
<link rel="stylesheet" href="css/norm6.css">
<link rel="stylesheet" href="css/norm7.css">
<link rel="stylesheet" href="css/norm8.css">
<link rel="stylesheet" href="css/norm9.css">
<link rel="stylesheet" href="css/rend1.css">
<link rel="stylesheet" href="css/rend2.css">
<link rel="stylesheet" href="css/rend3.css">
<link rel="stylesheet" href="css/rend4.css">
<link rel="stylesheet" href="css/rend5.css">
<link rel="stylesheet" href="css/rend6.css">
<link rel="stylesheet" href="css/rend7.css">
<link rel="stylesheet" href="css/rend8.css">
<link rel="stylesheet" href="css/rend9.css">
<link rel="stylesheet" href="css/rend10.css">
</head>
<body style="min-height : -1.25% ; grid-template-columns : none ; flex-flow : revert wrap-reverse wrap-reverse" lang="">
x
<div>
The standard Lorem Ipsum passage, used since the 1500s
</div>
<span>
The standard Lorem Ipsum passage, used since the 1500s
</span>
</body>
</html>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment